61. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : U.S.-Israel Workshop on Model Theory in Mathematical Logic, )5891, Chicago, Ill.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory-- Congresses
رده :
QA
3
.
L28
no
.
1292
62. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15 - 19, 1985
پدیدآورنده : J. T. Baldwin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
1292
63. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : J.T. Baldwin )ed.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Model theory
رده :
QA
9
.
7
.
U8
1985
64. Combinatorial Set Theory
پدیدآورنده : \ Lorenz J. Halbeisen
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Combinatorial set theory.,Forcing (Model theory)
رده :
E-Book
,
65. Combinatorial set theory
پدیدآورنده : Lorenz J. Halbeisen
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Combinatorial set theory,Forcing )Model theory(
رده :
QA
248
.
H22C6
2012
66. Combinatorial set theory
پدیدآورنده : Lorenz J. Halbeisen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial set theory,Forcing (Model theory)
رده :
QA248
.
H25
2012eb
67. Combinatorial set theory
پدیدآورنده : / Lorenz J. Halbeisen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Combinatorial set theory,Forcing (Model theory)
رده :
E-BOOK
68. Combinatorial set theory: with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H238
C66
69. Combinatorial set theory :with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
70. Combinatorial set theory : with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H25C6
71. Complete theories
پدیدآورنده : Robinson, Abraham
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory,، Fields, Algebraic
رده :
QA
9
.
7
.
R6
1977
72. Complete theories
پدیدآورنده : Robinson, Abraham
موضوع : ، Model theory,، Algebraic fields
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
73. Constructible sets with applications
پدیدآورنده : / A. Mostowski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Axiomatic set theory,Model theory
رده :
512
.
817
Mo-C
74. Definable additive categories : purity and model theory
پدیدآورنده : Prest, Mike
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Abelian categories,، Model theory
رده :
QA
3
.
A475
no
.
987
75. Descriptive set theory and definable forcing
پدیدآورنده : Zapletal, Jind'rich, 9691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Descriptive set theory,، Forcing )Model theory(,، Continuum hypothesis,، Borel sets
رده :
QA
3
.
A475
no
.
793
76. Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
پدیدآورنده : Miller, Arnold W., 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Forcing )Model theory(
رده :
QA
9
.
A1L44
Vol
.
4
77. Distribution models theory /
پدیدآورنده : editors Rafael Herrerías-Pleguezuelo, José Callejón-Céspedes, and José Manual Herrerías Velasco
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Distribution (Probability theory),Model theory
رده :
QA9
.
7
.
D58
2006
78. Distribution models theory
پدیدآورنده : editors Rafael Herrerias Pleguezuelo, Jose callejon cespedes, and Jose manual Herrerias Velasco
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Model theory,Distribution (Probability theory)
رده :
QA
9
.
7
.
D58
2006
79. Effective lagrangians for the standard model
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Standard model (Nuclear physics) - Mathematics,Quantum field theory,Particles (Nuclear physics) - Chirality,Broken symmetry (Physies),Quantum gravity
رده :
QC
,
794
.
6
,.
S75E34
,
1997
80. Effective lagrangians for the standard model
پدیدآورنده : A. Dobado... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics ، Standard model )Nuclear physics(,، Quantum field theory,، Particles )Nuclear physics( -- Chirality,، Broken symmetry )Physics(,، Quantum gravity
رده :
QC
794
.
6
.
S75E34